Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
311	A Topological Perspective on Diagnosis Andreas Bauer, ANU, Australia Abstract— We propose a topological perspective on the diagnosis problem for discrete-event systems. In an infinitary framework, we argue that the con Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2008-05-27 22:19:01 Applied mathematics Büchi automaton Muller automaton Omega language Deterministic finite automaton Regular language Nondeterministic finite automaton Formal language Ω-automaton Automata theory Theoretical computer science Computer science
312	Computational Mechanics of Input-Output Processes: Structured Transformations and the ε-transducer Nix Barnett James P. Crutchfield Add to Reading List Source URL: www.santafe.edu Language: English - Date: 2014-12-08 14:27:30 Automata theory Control theory Applied mathematics Cybernetics Formal sciences Finite-state machine Markov chain Feedback Infinite impulse response Models of computation Statistics Mathematics
313	IAENG International Journal of Computer Science, 36:2, IJCS_36_2_05 ______________________________________________________________________________________ Finite Automata Approach to Computing All Seeds of Strings with t Add to Reading List Source URL: www.iaeng.org Language: English - Date: 2009-05-20 16:44:06 Theoretical computer science Mathematics Coding theory Discrete mathematics Nondeterministic finite automaton Levenshtein distance Hamming distance String Finite state transducer Automata theory Formal languages Models of computation
314	Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou Nancy Lynch Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2005-11-11 05:43:22 Spanning tree Computer programming Models of computation Message Passing Interface Parallel computing Algorithm I/O Automaton Model checking Finite-state machine Computing Automata theory Theoretical computer science
315	Microsoft Word - JOC24-3-2.doc Add to Reading List Source URL: www.csroc.org.tw Language: English - Date: 2014-05-27 10:49:49 Theoretical computer science Computer science Software engineering Formal languages String searching algorithm Deterministic finite automaton Boyer–Moore–Horspool algorithm Finite-state machine Aho–Corasick string matching algorithm Automata theory Models of computation String matching algorithms
316	SWS FlowConnect support for Control Flow Patterns Add to Reading List Source URL: www.workflowpatterns.com Language: English - Date: 2011-11-29 19:53:04 Concurrent computing Process Finite-state machine Computing Computer science Electronics Models of computation Automata theory Digital electronics
317	NFAs with Tagged Transitions, their Conversion to Deterministic Automata and Application to Regular Expressions Ville Laurikari Helsinki University of Technology Laboratory of Computer Science PL 9700, 02015 TKK, Finland Add to Reading List Source URL: laurikari.net Language: English - Date: 2010-10-05 00:07:21 Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Finite-state machine Regular expression Deterministic automaton String searching algorithm Powerset construction Regular language Automata theory Theoretical computer science Computer science
318	Proceedings of the International Multiconference on Computer Science and Information Technology pp. 659–666 ISBN[removed]4 ISSN[removed] Add to Reading List Source URL: www.proceedings2009.imcsit.org Language: English - Date: 2009-10-30 02:36:35 Computer science Applied mathematics Deterministic pushdown automaton Pushdown automaton Nondeterministic finite automaton Tree automaton Deterministic finite automaton Finite-state machine Tree traversal Automata theory Models of computation Theoretical computer science
319	TABLE OF CONTENTS ✦ ✦ ✦ ✦ Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:24:43 Mathematical logic Automata theory Formal languages Computability theory Algorithm Finite-state machine Regular expression Recursion First-order logic Mathematics Theoretical computer science Logic
320	An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2008-05-27 20:54:37 Finite-state machine Channel Computer science Automata theory Theoretical computer science Models of computation

UPDATE